alonzo church 예문

• He graduated with his B.A. in 1947, then worked for his doctorate under Alonzo Church 's supervision.
  그는 1947 년 학사 학위를 가진 다음, 알론조 교회 's 감독하에 자신의 박사 학위를 위해 일한 졸업.
• After spending a further year at Caltech to study for his master's degree, Foster went to Princeton where he studied for his doctorate under the supervision of Alonzo Church .
  추가 1 년 캘리포니아 공대에서 석사 학위를 공부 지출 후, 포스터 프린스턴 어디로 그가 박사 알론조 모닝 교회의 감독하에 공부했다.
• The reason was that Alonzo Church published An unsolvable problem in elementary number theory in the American Journal of Mathematics in 1936 which also proves that there is no decision procedure for arithmetic.
  그 이유는 알론조 모닝 교회가 American Journal of 수학 초등 정수론에서 1936 년에 또한 거기에 산술에 대한 의사 결정을 증명 절차가 해결 문제로 출판 되었음.